| contributor | FMI, Theoretische Informatik | ||||||||||||||
| creator |
Kufleitner, Manfred
| date |
2007-10-26
| description |
4 pages
|
We show that for every homomorphism $\Gamma^+ \to S$ where $S$ is a
finite semigroup there exists a factorization forest of height $\leq
3 \abs{S}$. The proof is based on Green's relations.
| format |
application/pdf
| 142834 Bytes | |
| identifier | http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=TR-2007-05&engl=1 |
| language | eng |
| publisher | Stuttgart, Germany, Universität Stuttgart |
| relation | Technical Report No. 2007/05 |
| source | ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/TR-2007-05/TR-2007-05.pdf |
| subject | Formal Languages (CR F.4.3) |
| semigroup | |
| monoid | |
| factorization forest | |
| Halbgruppe | |
| Monoid | |
| Faktorisierungswald | |
| title | A Proof of the Factorization Forest Theorem |
| type | Text |
| Technical Report |